#pragma once

void interrupt_init();
void init_8254();

/* -- Interrupt handler function, defined in kernel/handler.S -- */
void pf_handler();
void timer_handler();
void kb_handler();